Formal Methods for Discrete-Time Dynamical Systems [Bookshelf]
نویسندگان
چکیده
منابع مشابه
A Robust Control Design Technique for Discrete-Time Systems
A robust state feedback design subject to placement of the closed loop eigenvalues in a prescribed region of unit circle is presented. Quantitative measures of robustness and disturbance rejection are investigated. A stochastic optimization algorithm is used to effect trade-off between the free design parameters and to accomplish all the design criteria. A numerical example is given to illustra...
متن کاملobservational dynamical systems
چکیده در این پایاننامه ابتدا فضاهای متریک فازی را به صورت مشاهدهگرایانه بررسی میکنیم. فضاهای متریک فازی و توپولوژی تولید شده توسط این متریک معرفی شدهاند. سپس بر اساس فضاهایی که در فصل اول معرفی شدهاند آشوب توپولوژیکی، مینیمالیتی و مجموعههای متقاطع در شیوههای مختلف بررسی شده- اند. در فصل سوم مفهوم مجموعههای جاذب فازی به عنوان یک مفهوم پایهای در سیستمهای نیم-دینامیکی نسبی، تعریف شده است. ...
15 صفحه اولOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملCharacterization of Invariant Codistributions for Discrete-time Nonlinear Dynamical Systems
The goal of this paper is two-fold. First, given an arbitrary n-dimensional discrete-time nonlinear dynamical system, necessary and sufficient conditions for the existence of a one-dimensional invariant codistributions are obtained. Second, it is shown that the previous conditions can be used iteratively to obtain a nested sequence of n invariant codistributions with the properties that each co...
متن کاملDynamical observers design for discrete-time descriptor linear systems
This paper addresses the problem of observer design for discrete-time descriptor systems by using a new concept of dynamical observer. The advantage of this new concept is the structure of this dynamical observer, which is more general than the Proportional-Integral observer and the Proportional observers. The sufficient and necessary conditions for the stability of the proposed dynamical obser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Control Systems
سال: 2018
ISSN: 1066-033X,1941-000X
DOI: 10.1109/mcs.2018.2866657